Logic in China

#	Item
21	A Constraint Satisfaction Approach to Tractable Theory Induction John Ahlgren and Shiu Yin Yuen City University of Hong Kong, Hong Kong, China [removed] Add to Reading List Source URL: lion.disi.unitn.it Language: English - Date: 2012-12-21 02:59:42 Constraint programming Logic in computer science Logic programming Programming paradigms Constraint logic programming Constraint satisfaction Boolean satisfiability problem Horn clause Prolog Theoretical computer science Declarative programming Software engineering
22	This interview with Susan Haack will be published in Chinese in the Journal of World Philosophy (Beijing, P.R. China), in October 2003. Add to Reading List Source URL: www.as.miami.edu Language: English - Date: 2009-03-23 11:37:51 Philosophical logic Non-classical logic Branches of philosophy Epistemology Philosophy of mathematics Susan Haack Deviant logic Pragmatism Paraconsistent logic Philosophy Logic Science